Nuprl Definition : fpf-cap
11,40
postcript
pdf
fpf-cap(
f
;
eq
;
x
;
z
) == if fpf-dom(
eq
;
x
;
f
) then fpf-ap(
f
;
eq
;
x
) else
z
fi
latex
Definitions
fpf-ap(
f
;
eq
;
x
)
,
fpf-dom(
eq
;
x
;
f
)
,
if
b
then
t
else
f
fi
FDL editor aliases
fpf-cap
origin